民用建筑自然排烟系统设计与应用

针对目前国内建筑自然排烟系统设备应用过程中出现的问题,结合北京市地方标准《自然排烟系统设计施工及验收规范》,重点说明自然排烟系统的设计要求、设备应用、性能分析,分析了自然排烟系统在设计、施工及验收阶段的衔接性和重要性,并结合国外的做法和国内的规范给出现阶段可行的做法。     

Cyclic preference scheduling for nurses using branch and price

This paper presents a new methodology to solve the cyclic preference scheduling problem for hourly workers. The focus is on nurse rostering but is applicable to any organization in which the midterm scheduling decision must take into account a complex of legal, institutional, and preferential constraints. The objective is to strike a balance between satisfying individual preferences and minimizing personnel costs. The common practice is to consider each planning period independently and to generate new rosters at the beginning of each. To reduce some of the instability in the process, there is a growing trend toward cyclic schedules, which are easier to manage and are generally perceived to be more equitable. To address this problem, a new integer programming model is presented that combines the elements of both cyclic and preference scheduling. To find solutions, a branch‐and‐price algorithm is developed that makes use of several branching rules and an extremely effective rounding heuristic. A unique feature of the formulation is that the master problem contains integer rather than binary variables. Computational results are reported for problem instances with up to 200 nurses. Most were solved within 10 minutes and many within 3 minutes when a double aggregation approach was applicable. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007.     

特大规模组合电路高速测试生成系统ATGTA-1

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法，并建成了相应的测试生成系统ＡＴＧＴＡ－１。该系统采用有限回溯测试模式产生方法生成测试码，采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该系统运行１０个Ｂｅｎｃｈｍａｒｋ电路，取得了低测试长度、高故障覆盖、高效率的良好效果。     

函数生成器的优化设计

本文介绍了一种优化的多变量函数产生器的设计思想,详尽论述了多变量函数快速插值算法、消除冗余断点搜索的思想以及搜索次数为１的断点搜索策略。实用表明,该产生器高效可行,比一般的多变量函数产生器减少计算量一半左右,有效地缩短了仿真问题的求解时间。     

狭义的坦克远程火力军事需求分析

坦克作为一种近距离格斗兵器来使用的科学性、合理性勿庸质疑,传统的使用方式却导致发展坦克的远程火力成为一个备受争议的话题.立足于信息化作战的背景及我军的现实,着眼于陆军武器系统未来发展的趋势,分析了未来陆军可能的作战模式及其火力体系,从军事、经济、技术的角度分析了我军装甲机械化部队发展坦克远程火力的必要性,并在此基础上分析了坦克远程火力的作用距离、使用的原则与使用的时机,最后对武器装备的"非对称"发展模式提出了初步的看法.     

基于IDEA模型的坦克性能指标需求方案有效性分析

针对坦克车辆性能指标需求方案有效性分析的输入指标为区间数、具有模糊性这一实际情况,提出了一种基于IDEA模型的需求方案有效性分析方法,并详细给出了该方法的计算步骤和算法。研究表明,该方法能够有效完成需求方案的有效性分析,同时也简化了计算过程,使得分析结果更为客观合理,最后通过一个示例来验证模型的可行性和有效性。     

漂浮式微型波力发电装置传动系统的速度分析与调节

针对边防驻岛官兵用电难的问题,结合海洋波浪能特点,提出了一种新型漂浮式微型波力发电装置。基于装置结构模型,分析了其结构特征和工作原理;建立了传动系统的运动学模型,分析了其运动特性和速度调节性能;进行算例分析,验证了理论模型的正确性。研究表明：双侧传动轮系输入系统优于单侧传动轮系输入系统;改变飞轮的转动惯量,可以调节速度的波动。分析结果为该装置的后续试验研究提供了理论依据。     

基于战斗力生成模式转变的合成营战术训练探要

推动训练向基于信息系统训练模式转变,是当前开展信息化条件下训练亟待解决的问题.文章从训练理念、训练设计、训练组织和训练考评等方面进行了探讨,以积极稳妥推进合成营战术训练深入发展,实现作战能力整体跃升.     

DoDAF的末段反导C2BM系统需求分析

末段反导指控与作战管理(Command,Control and Battle Manangement,C2BM)系统是末段反导系统的指挥控制中心.在系统分析末段反导系统的组成及末段反导C2BM系统工作过程的基础上,初步探讨了基于DoDAF(Department of Defense Architecture Framework)的末段反导C2BM系统需求分析方法和步骤,建立了末段反导C2BM系统的作战视图,对末段反导C2BM系统的体系结构及其信息交互进行了深入分析和可视化建模,保证了对末段反导C2BM系统需求理解的一致性,有效促进了军事人员与分析设计人员间的沟通和交流,为后续的开发夯实坚实的基础.     

一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.